A total order for options is defined as follows: `nil` is always less-than-or-equal
any other value and iff `a` and `b` both contain values of type `T`, then
`T.lteq a.or_panic b.or_panic`.

This is defined only if T : property.orderable, it will result in a compile-time panic
if this is not the case.